Representing Priorities in Logic Programs
نویسندگان
چکیده
Reasoning with priorities is a central topic in knowledge representation. A number of techniques for prioritized reasoning have been developed in the eld of AI, but existing logic programming lacks the mechanism of explicit representation of priorities in a program. In this paper, we introduce a framework for representing priorities in logic programming. Prioritized logic programming represents preference knowledge more naturally than strati ed programs, and is used to reduce non-determinism in logic programming. Moreover, it can realize various forms of commonsense reasoning such as abduction, default reasoning, and prioritized circumscription. The proposed framework increases the expressive power of logic programming and exploits new applications in knowledge representation.
منابع مشابه
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
Linear logic programs are challenging to implement efficiently because facts are asserted and retracted frequently. Implementation is made more difficult with the introduction of useful features such as rule priorities, which are used to specify the order of rule inference, and comprehensions or aggregates, which are mechanisms that make data iteration and gathering more intuitive. In this pape...
متن کاملDigital Systems Laboratory Series A: Research Reports Priorities and Nonmonotonic Reasoning Priorities and Nonmonotonic Reasoning
Many knowledge-based systems use some kind of priorities for controlling their reasoning. In this work, autoepistemic logic is extended with priorities. Priorities are formalized as partial orders of formulae that express that some formulae are preferred to others. Priorities increase the set of conclusions that can be inferred from a set of formulae, because the number of cases where connicts ...
متن کاملType-Safe Multithreaded Programming with Priorities
Many multithreaded programs are naturally interactive and use priorities to ensure responsiveness. Programming with priorities, however, is challenging because existing techniques using a fixed set of priorities do not suffice to express rich priority relations and the lack of language support for the correct usage of priorities can lead to delays due to priority inversion. In this paper, we ta...
متن کاملAbducing Priorities to Derive Intended Conclusions
We introduce a framework for finding preference information to derive desired conclusions in nonmonotonic reasoning. A new abductive framework called preference abduction enables us to infer an appropriate set of priorities to explain the given observation skeptically, thereby resolving the multiple extension problem in the answer set semantics for extended logic programs. Preference abduction ...
متن کاملLUPS - A Language for Updating Logic Programs
Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e. knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs). Each...
متن کامل